var searchData=
[
  ['tabu_20search_16890',['Tabu Search',['../group__tabu__search.html',1,'']]]
];
